Nuprl Definition : eq_atom 13,42
x =a y == if x=y then tt else ff 
latex

Upbool 1, bool 1
Wellformedness Lemmaseq atom wf1, eq atom wf2, eq atom wf, eq atom wf
Definitionsif a=b then c else d, tt, ff
FDL editor aliaseseq_atom

origin